Sutre, F. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (16)
Les plus populaires
Liste
- Liste
- Tableau

1

Predicting the progression of mild cognitive impairment using machine learning: A systematic, quantitative and critical review

Ansart, Manon, Epelbaum, StÃ©phane, Bassignana, Giulia, BÃ´ne, Alexandre, Bottani, Simona, Cattai, Tiziana, CouronnÃ©, RaphaÃ«l, Faouzi, Johann, Koval, Igor, Louis, Maxime, Thibeau-Sutre, Elina, Wen,

Journal:

Medical Image Analysis

Année:

2021

Fichier:

PDF, 978 KB

2021

2

Impact of osteopathic manipulative treatment on range of motion of the pelvis during the one-sided tilt test: a pilot study

MÃ©nard, M., Ferrari, M., Bouchet, A., Puchaud, P., Vaucher, P., Sutre, F., Bideau, B., Bourgin, M.

Journal:

Computer Methods in Biomechanics & Biomedical Engineering

Année:

2019

Fichier:

PDF, 779 KB

2019

3

Occam's Razor applied to the Petri net coverability problem

Geffroy, Thomas, Leroux, Jérôme, Sutre, Grégoire

Journal:

Theoretical Computer Science

Année:

2018

Langue:

english

Fichier:

PDF, 1001 KB

english, 2018

4

Convolutional Neural Networks for Classification of Alzheimer's Disease: Overview and Reproducible Evaluation

Wen, Junhao, Thibeau-Sutre, Elina, Diaz-Melo, Mauricio, Samper-GonzÃ¡lez, Jorge, Routier, Alexandre, Bottani, Simona, Dormont, Didier, Durrleman, Stanley, Burgos, Ninon, Colliot, Olivier

Journal:

Medical Image Analysis

Année:

2020

Fichier:

PDF, 1.71 MB

2020

5

Software-parameter optimization in computer gas-chromatograph system

P. Sutre, J. P. Malengé

Journal:

Chromatographia

Année:

1972

Langue:

english

Fichier:

PDF, 339 KB

english, 1972

6

Well-abstracted transition systems: application to FIFO automata

Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre

Journal:

Information and Computation

Année:

2003

Langue:

english

Fichier:

PDF, 313 KB

english, 2003

7

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - On the Context-Freeness Problem for Vector Addition Systems

Leroux, Jerome, Penelle, Vincent, Sutre, Gregoire

Année:

2013

Langue:

english

Fichier:

PDF, 330 KB

english, 2013

8

[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - Lazy abstraction

Henzinger, Thomas A., Jhala, Ranjit, Majumdar, Rupak, Sutre, Grégoire

Année:

2002

Langue:

english

Fichier:

PDF, 1.96 MB

english, 2002

9

A case of imported neurocysticercosis in Portugal

Valadas, Emilia, Badura, Robert, Marques, Tiago, Neno, Miguel, Boura, Márcia, Sutre, Ana Filipa, Beato, Sílvia, Grácio, Maria Amélia, Neves, José Cordeiro

Journal:

The Journal of Infection in Developing Countries

Année:

2015

Langue:

english

Fichier:

PDF, 534 KB

english, 2015

10

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Hyper-Ackermannian bounds for pushdown vector addition systems

Leroux, Jérôme, Praveen, M., Sutre, Grégoire

Année:

2014

Langue:

english

Fichier:

PDF, 608 KB

english, 2014

11

Tuberculosis diagnosis after bleach processing for early stage tuberculosis laboratory capacity building [Short communication]

David, S., Sutre, A. F., Sanca, A., Mané, A., Henriques, V., Portugal, C., Sancho, L., Cardoso, A., Paixão, E., Duarte, E. L., Leite, C. Q. F., Salem, J. I., Antunes, A.

Journal:

The International Journal of Tuberculosis and Lung Disease

Année:

2012

Langue:

english

Fichier:

PDF, 261 KB

english, 2012

12

Lazy abstraction

Henzinger, Thomas A., Jhala, Ranjit, Majumdar, Rupak, Sutre, Grégoire

Journal:

ACM SIGPLAN Notices

Année:

2002

Langue:

english

Fichier:

PDF, 1.96 MB

english, 2002

13

[ACM Press the 24th ACM SIGSOFT International SPIN Symposium - Santa Barbara, CA, USA (2017.07.13-2017.07.14)] Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 - Backward coverability with pruning for lossy channel systems

Geffroy, Thomas, Leroux, Jérôme, Sutre, Grégoire

Année:

2017

Langue:

english

Fichier:

PDF, 844 KB

english, 2017

14

Hypovitaminosis D in HIV-infected patients in Lisbon: a link with antiretroviral treatment

Boura, Márcia, Filipa Sutre, Ana, Badura, Robert, Zagalo, Alexandra, Afonso, Cláudia, Caldeira, Luís, Valadas, Emília

Journal:

Journal of the International AIDS Society

Année:

2014

Langue:

english

Fichier:

PDF, 81 KB

english, 2014

15

Impact of different types of revision materials on the learning of musculoskeletal techniques

Launay, FranÃ§ois, MÃ©nard, Mathieu, Bourgin, MarylÃ¨ne, Mhadhbi, Hakim, Sutre, Franck, Draper-Rodi, Jerry

Journal:

International Journal of Osteopathic Medicine

Année:

2020

Fichier:

PDF, 1.43 MB

2020

16

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

JanÄar, Petr, Leroux, JÃ©rÃ´me, Sutre, GrÃ©goire, Khomenko, Victor, Kleijn, Jetty, Penczek, Wojciech, Roux, Olivier H.

Journal:

Fundamenta Informaticae

Année:

2019

Fichier:

PDF, 331 KB

2019